TSTP Solution File: SWV435^3 by SInE---0.4